-
1 предикат с отрицанием
Mechanics: negated predicateУниверсальный русско-английский словарь > предикат с отрицанием
-
2 предикат
Синонимический ряд:сказуемого (сущ.) сказуемого -
3 предикат
Русско-английский словарь по информационным технологиям > предикат
-
4 символ с отрицанием
Русско-английский большой базовый словарь > символ с отрицанием
-
5 negated predicate
-
6 negated predicate
-
7 negated predicate
English-Russian big polytechnic dictionary > negated predicate
-
8 predicate
1. n грам. лог. предикат, сказуемое2. n лог. утверждение3. a предикативныйpredicate noun — предикативное существительное, существительное в роли именной части составного сказуемого
4. v утверждать; заявлять; делать заявлениеmy plan is predicated on the assumption that … — в своём плане я исхожу из того, что …
5. v грам. лог. предицировать6. v наводить на мысль7. v редк. проповедовать8. v разг. предсказыватьСинонимический ряд:1. assert (verb) affirm; assert; aver; avouch; avow; constate; declare; depose; maintain; mean; proclaim; profess; protest; set forth; state2. establish (verb) base; bottom; build; establish; fasten; found; ground; rest; root in; seat; stay -
9 язык предикатов
-
10 исчисление предикатов
Русско-английский новый политехнический словарь > исчисление предикатов
-
11 логика предикатов
Русско-английский словарь по информационным технологиям > логика предикатов
-
12 исчисление предикатов
1. functional calculus2. predicate calculus3. predicative calculusРусско-английский большой базовый словарь > исчисление предикатов
-
13 применяемость предиката
Русско-английский большой базовый словарь > применяемость предиката
-
14 символ без отрицания
Русско-английский большой базовый словарь > символ без отрицания
-
15 negated predicate
Механика: предикат с отрицанием -
16 выполнять операцию отрицания
вентиль отрицания; схема отрицания — negation gate
Русско-английский большой базовый словарь > выполнять операцию отрицания
См. также в других словарях:
Предикат — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. У этого термина … Википедия
Гегель Георг — Жизненный путь Георг Вильгельм Фридрих Гегель родился в Штутгарте в 1770 г. Его отец был государственным чиновником, и доходы позволяли дать сыну высшее образование. В местной гимназии Гегель изучал греческую и латинскую классику. С годами… … Западная философия от истоков до наших дней
1.6.7. — 1.6.7. Предложения, отображающие ситуацию решения Типовая семантика Человек приходит к какому л. выводу, заключению после размышления, обдумывания. Базовая модель СУБЪЕКТ ПРЕДИКАТ РЕШЕНИЯ ОБЪЕКТ Основной предикат решать Лексические варианты… … Экспериментальный синтаксический словарь
1.6.9. — 1.6.9. Предложения, отображающие ситуацию определения Типовая семантика Человек определяет кого л., что л. (качества, свойства, значение, количество) каким л. образом. Базовая модель СУБЪЕКТ ПРЕДИКАТ ОПРЕДЕЛЕНИЯ ОБЪЕКТ Основной предикат… … Экспериментальный синтаксический словарь
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Кант — (Immanuel Kant, первонач. Cant) основатель философского критицизма, представляющего главную поворотную точку в истории человеческой мысли, так что все развитие философии, если не по содержанию, то по отношению мысли к этому содержанию, должно… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… … Философская энциклопедия
ЕДИНОЕ, ЕДИНСТВО — (греч. το ἕν, лат. unum) – одно из фундаментальных понятий философии и математики. Единое мыслится в качестве начала неделимости, единства и целостности как реально сущего – вещи, души, сознания, личности, так и идеального бытия – понятия, закона … Философская энциклопедия
Силлогизм — (греч. syllogismós) вид дедуктивного умозаключения, две посылки и заключение которого имеют одну и ту же субъектно предикатную структуру. Наименование «С.» прилагают чаще всего к так называемым категорическим С., посылки и заключения… … Большая советская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
3.2.1. — 3.2.1. Предложения, отображающие ситуацию поиска объекта Типовая семантика Живое существо ищет, находит в результате поиска что л. скрытое, утерянное. Базовая модель Субъект предикат поиска объект Основные предикаты искать, находить Лексические… … Экспериментальный синтаксический словарь